Section: Dissemination

Scientific Animation

Editorial board

• Information & Computation (Véronique Cortier)

• Journal of Computer Security (Véronique Cortier)

Conferences

• FroCoS 2013, 9th Symposium on Frontiers of Combining Systems, 18–20 September 2013, Nancy, France, (Christophe Ringeissen, conference chair)

Program committees

• Fabrice Bouquet: MODEVVA 2012, ICST 2013 (Publicity Chair)

• Véronique Cortier: CSF 2012 (co-chair), CCS 2012, ESORICS 2012, POST 2012, FCC 2012, SCSS 2012, LPAR 2012, MOVEP 2012.

• Frédéric Dadeau: CSTVA 2012 (co-chair)

• Alain Giorgetti: TAP 2012

• Pierre-Cyrille Héam: IHTIAP 2012

• Abdessamad Imine: DEXA 2012, CIIA 2013

• Steve Kremer: ACNS 2012, CSF 2012, FSTTCS 2012, ISPEC 2012, POST 2012, TGC 2012

• Christophe Ringeissen: CADE-24, FroCoS 2013

• Michaël Rusinowitch: CRISIS 2012, GRSRD 2012 (co-chair), IJCAR 2012, QASA 2012, SCSS 2012, WooPS12

Summer school

• TAROT 2012, 8th International Summer School on Training And Research On Testing, 2–6 July 2012, Métabief, France, (Frédéric Dadeau, general chair)

Working groups

• GT-Verif, Verification, GDR IM Working Group (Véronique Cortier, chair)

• MTV2, Testing Methods for Verification and Validation, GDR GPL Working Group (Frédéric Dadeau, co-chair)

• FORWAL, Formalisms and Tools for Verification and Validation, GDR GPL Working Group (Pierre-Cyrille Héam, co-chair)